Danvy, S.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Living the Dream: Barack Obama and Blacks’ Changing Perceptions of the American Dream

Stout, Christopher Timothy, Le, Danvy

Journal:

Social Science Quarterly

Year:

2012

Language:

english

File:

PDF, 580 KB

english, 2012

2

Folding left and right over Peano numbers

Journal:

Journal of Functional Programming

Year:

2019

Language:

english

File:

PDF, 156 KB

english, 2019

3

Representing Control: a Study of the CPS Transformation

Danvy, Oliver, Filinski, Andrzex

Journal:

Mathematical Structures in Computer Science

Year:

1992

Language:

english

File:

PDF, 4.67 MB

english, 1992

4

A unifying approach to goal-directed evaluation

Olivier Danvy, Bernd Grobauer, Morten Rhiger

Journal:

New Generation Computing

Year:

2002

Language:

english

File:

PDF, 1015 KB

english, 2002

5

Are You Threatening Me? AsianâAmerican Panethnicity in the Trump Era

Le, Danvy, Arora, Maneesh, Stout, Christopher

Journal:

Social Science Quarterly

Year:

2020

File:

PDF, 371 KB

2020

6

The essence of eta-expansion in partial evaluation

Olivier Danvy, Karoline Malmkjær, Jens Palsberg

Journal:

Higher-Order and Symbolic Computation

Year:

1995

Language:

english

File:

PDF, 949 KB

english, 1995

7

Partial evaluation in parallel

Charles Consel, Olivier Danvy

Journal:

Higher-Order and Symbolic Computation

Year:

1993

Language:

english

File:

PDF, 829 KB

english, 1993

8

Editorial

Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

Journal:

Higher-Order and Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 78 KB

english, 2005

9

Editorial

Olivier Danvy, Ian Mason

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 29 KB

english, 2004

10

Editorial

Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 113 KB

english, 2006

11

Editorial

Olivier Danvy, Oege de Moor, Julian Padget, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 103 KB

english, 2006

12

Editorial

Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 96 KB

english, 2008

13

Peter J. Landin (1930–2009)

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 184 KB

english, 2009

14

Editorial

Olivier Danvy, Hayo Thielecke

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 115 KB

english, 2007

15

Editorial

Olivier Danvy, Julian Padget

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 90 KB

english, 2009

16

Editorial

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 137 KB

english, 2007

17

Editorial

Olivier Danvy, Ian Mason

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 90 KB

english, 2008

18

Editorial

Olivier Danvy, Carolyn L. Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 91 KB

english, 2009

19

Back to direct style

Journal:

Science of Computer Programming

Year:

1994

Language:

english

File:

PDF, 740 KB

english, 1994

20

CPS transformation of beta-redexes

Olivier Danvy, Lasse R. Nielsen

Journal:

Information Processing Letters

Year:

2005

Language:

english

File:

PDF, 93 KB

english, 2005

21

Partial Evaluation of the Euclidian Algorithm

Olivier Danvy, Mayer Goldberg

Journal:

Higher-Order and Symbolic Computation

Year:

1997

Language:

english

File:

PDF, 134 KB

english, 1997

22

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1999

Language:

english

File:

PDF, 10 KB

english, 1999

23

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 13 KB

english, 2000

24

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 11 KB

english, 2000

25

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1999

Language:

english

File:

PDF, 16 KB

english, 1999

26

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1999

Language:

english

File:

PDF, 7 KB

english, 1999

27

Introduction

Olivier Danvy, Carolyn L. Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1998

Language:

english

File:

PDF, 16 KB

english, 1998

28

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1998

Language:

english

File:

PDF, 16 KB

english, 1998

29

Introduction

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1999

Language:

english

File:

PDF, 9 KB

english, 1999

30

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 7 KB

english, 2001

31

Editorial

Olivier Danvy, Julia L. Lawall

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 22 KB

english, 2001

32

Editorial

Olivier Danvy, Takayasu Ito, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 15 KB

english, 2001

33

Editorial

Olivier Danvy, Takayasu Ito, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 15 KB

english, 2002

34

Editorial

Olivier Danvy, Amr Sabry

Journal:

Higher-Order and Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 28 KB

english, 2002

35

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 14 KB

english, 2002

36

Editorial

Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

Journal:

Higher-Order and Symbolic Computation

Year:

2003

Language:

english

File:

PDF, 29 KB

english, 2003

37

Editorial

David Basin, Olivier Danvy, Robert Harper

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 16 KB

english, 2004

38

Editorial

Wei-Ngan Chin, Olivier Danvy, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 25 KB

english, 2004

39

[Lecture Notes in Computer Science] Formal Modeling: Actors, Open Systems, Biological Systems Volume 7000 ||

Agha, Gul, Danvy, Olivier, Meseguer, José

Year:

2011

Language:

english

File:

PDF, 7.68 MB

english, 2011

40

A characterization of Moessner's sieve

Clausen, Christian, Danvy, Olivier, Masuko, Moe

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 530 KB

english, 2014

41

[Lecture Notes in Computer Science] Partial Evaluation Volume 1110 || A roadmap to metacomputation by supercompilation

Danvy, Olivier, Glück, Robert, Thiemann, Peter

Year:

1996

Language:

english

File:

PDF, 1.30 MB

english, 1996

42

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Tutorial notes on partial evaluation

Consel, Charles, Danvy, Olivier

Year:

1993

Language:

english

File:

PDF, 1.04 MB

english, 1993

43

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - Type-directed partial evaluation

Year:

1996

Language:

english

File:

PDF, 1.52 MB

english, 1996

44

aspects socio-culturels de l'enseignement du français || VARIATIONS SOCIOCULTURELLES DES CONNECTEURS INTERPROPOSITIONNELS DE LA 6eÀ LA 4e

C. Gruaz, R. Beauchain, J. M. Danvy, F. Guibert and C. Plaquevent

Journal:

Langue française

Year:

1976

Language:

french

File:

PDF, 1.24 MB

french, 1976

45

Refined Docking as a Valuable Tool for Lead Optimization: Application to Histamine H3 Receptor Antagonists

Nicolas Levoin, Thierry Calmels, Olivia Poupardin-Olivier, Olivier Labeeuw, Denis Danvy, Philippe Robert, Isabelle Berrebi-Bertrand, C. Robin Ganellin, Walter Schunack, Holger Stark, Marc Capet

Journal:

Archiv der Pharmazie

Year:

2008

Language:

english

File:

PDF, 3.56 MB

english, 2008

46

ChemInform Abstract: New Asymmetric Synthesis of Dexecadotril and Ecadotril Starting from a Single Precursor.

Thierry Monteil, Denis Danvy, Jean-Christophe Plaquevent, Lucette Duhamel, Pierre Duhamel, Claude Gros, Jean-Charles Schwartz, Jeanne-Marie Lecomte

Journal:

Year:

2001

File:

PDF, 32 KB

2001

47

Strategies for Access to Enantiomerically Pure Ecadotril, Dexecadotril and Fasidotril.

Thierry Monteil, Denis Danvy, Miryam Sihel, Richard Leroux, Jean-Christophe Plaquevent

Journal:

Year:

2002

File:

PDF, 25 KB

2002

48

Semantics-directed compilation of nonlinear patterns

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 1.02 MB

english, 1991

49

Studies on the structural feature of S'1 subsite of neprilysin (EC.3.4.24.11): Stereochemical requirement for the enzyme-inhibitor docking process

Denis Danvy, Thierry Monteil, Jean-Christophe Plaquevent, Lucette Duhamel, Pierre Duhamel, Claude Gros, Nadine Noël, Jean-Charles Schwartz, Jeanne-Marie Lecomte

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

1996

Language:

english

File:

PDF, 187 KB

english, 1996

50

Synthesis and evaluation of amides surrogates of dopamine D3 receptor ligands

Mickaël Jean, Jacques Renault, Nicolas Levoin, Denis Danvy, Thierry Calmels, Isabelle Berrebi-Bertrand, Philippe Robert, J.C. Schwartz, J.M. Lecomte, Philippe Uriac, Marc Capet

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2010

Language:

english

File:

PDF, 414 KB

english, 2010